Symbolic Computation for Electronic Publishng
نویسنده
چکیده
Recently, we developed and reported some novel ways to make MATHEMATICA produce derivations that contain conventionally structured narratives and formulas, using a procedure that interprets files containing expressions, which MATHEMATICA evaluates symbolically, control information and text. Now, this work is extended to give TEX typeset output. It supports the interactive crafting of publications that contain mechanically generated formulas and diagrams, for teaching and research, in subjects that use mathematics and other algorithmic methods. It goes beyond the direct capabilities of the built-in Splice and TeXForm functions.
منابع مشابه
Symbolic computation of the Duggal transform
Following the results of cite{Med}, regarding the Aluthge transform of polynomial matrices, the symbolic computation of the Duggal transform of a polynomial matrix $A$ is developed in this paper, using the polar decomposition and the singular value decomposition of $A$. Thereat, the polynomial singular value decomposition method is utilized, which is an iterative algorithm with numerical charac...
متن کاملParallel Symbolic Computation of Curvature Invariants in General Relativity
We present a practical application of parallel symbolic computation in General Relativity: the calculation of curvature invariants for large dimension. We discuss the structure of the calculations, an implementation of the technique and scaling of the computation with spacetime dimension for various invariants. Electronic address: [email protected]
متن کاملAn approach to first principles electronic structure calculation by symbolic-numeric computation
This article is an introduction to a new approach to first principles electronic structure calculation. The starting point is the Hartree-Fock-Roothaan equation, in which molecular integrals are approximated by polynomials by way of Taylor expansion with respect to atomic coordinates and other variables. It leads to a set of polynomial equations whose solutions are eigenstate, which is designat...
متن کاملA proposal to first principles electronic structure calculation: Symbolic-Numeric method
This study proposes an approach toward the first principles electronic structure calculation with the aid of symbolic-numeric solving. The symbolic computation enables us to express the Hartree-Fock-Roothaan equation in an analytic form and approximate it as a set of polynomial equations. By use of the Gröbner bases technique, the polynomial equations are transformed into other ones which have ...
متن کاملTolerances in Symbolic Network Analysis
Tolerances of electronic circuit parameters play an important role in our judgement of circuit functionality. They must be considered both at the circuit design and testing stages. This paper discusses a problem of tolerances in a symbolic network analysis. Using topological analysis combined with operations on discrete random variables, we can predict behavior of a circuit with toleranced para...
متن کامل